// Copyright 2008 Silvio Massari
//
// This file is part of SilvioMassari.Automata
//
// SilvioMassari.Automata is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// SilvioMassari.Automata is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with SilvioMassari.Automata.  If not, see <http://www.gnu.org/licenses/>.
				
using System;
using System.Collections.Generic;
using System.Text;
using System.Diagnostics;

namespace SilvioMassari.Automata
{
	class TransitionAnd<S, T> : TransitionOperator<S, T>
	{
        protected Transition<S, T> _transition0 = null;
        protected Transition<S, T> _transition1 = null;

		public TransitionAnd()
			: base(20)
		{
        }

        public override void  Init(Transition<S, T>[] transitions)
        {
            Debug.Assert(transitions!=null && transitions.Length==2);

            _transition1 = transitions[0];
            _transition0 = transitions[1];

            _from = new State<S, T>();
            _to = new State<S, T>();

            _from.NextByNull.Add(_transition0.From);
            _transition0.To.NextByNull.Add(_transition1.From);
            _transition1.To.NextByNull.Add(_to);
		}

		public override string ToString()
		{
            StringBuilder sb = new StringBuilder();
            sb.Append(_transition0.ToString());
            sb.Append(_transition1.ToString());
            sb.Append('&');
            return sb.ToString();
        }
	}
}
